翻訳と辞書
Words near each other
・ Massimiliano Esposito
・ Massey Heights
・ Massey High School
・ Massey Hill Classical High School
・ Massey Hotel
・ Massey Island
・ Massey Landing, Delaware
・ Massey Lectures
・ Massey Lectures (Harvard University)
・ Massey Lopes, 2nd Baron Roborough
・ Massey Medal
・ Massey Memorial
・ Massey Memorial Organ
・ Massey Place, Saskatoon
・ Massey Poyntz
Massey product
・ Massey Ranch Airpark
・ Massey Rugby Club
・ Massey Sahib
・ Massey Shaw
・ Massey Sound
・ Massey Tower
・ Massey University
・ Massey University Students' Associations Federation
・ Massey Whiteknife
・ Massey's Folly
・ Massey, Maryland
・ Massey, New Zealand
・ Massey-Doby-Nisbet House
・ Massey-Harris Model 101


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Massey product : ウィキペディア英語版
Massey product

In algebraic topology, the Massey product is a cohomology operation of higher order introduced in , which generalizes the cup product.
==Massey triple product==
The Massey product is defined algebraically at the level of chains (at the level of a differential graded algebra, or DGA); the Massey product of elements of cohomology is obtained by lifting the elements to equivalence classes of chains, taking the Massey products of these, and then pushing down to cohomology. This may result in a well-defined cohomology class, or may result in indeterminacy.
In a DGA \Gamma with differential d, the cohomology
H^
*(\Gamma) is an algebra. Define \bar u to be (-1)^u. The cohomology class of an element u of \Gamma will be denoted by (). The Massey triple product of three cohomology classes is defined by
:
\langle (),(),()\rangle = \.

The Massey product of 3 cohomology classes is not an element of H^
*(\Gamma) but a set of elements of H^
*(\Gamma), possibly empty and possibly containing more than one element. If u, v, w have degrees i,j,k, then the Massey product has degree i+j+k-1, with the −1 coming from the differential d.''
The Massey product is nonempty if the products uv and vw are both exact, in which case
all its elements are in the same element of the quotient group
:\displaystyle
H(\Gamma)/(()H(\Gamma)+H(\Gamma)()).

So the Massey product can be regarded as a function defined on triples of classes such that the product of the first or last two is zero, taking values in the above quotient group.
More casually, if the two pairwise products ()() and ()() both vanish in homology (()()=()()=0), i.e. uv=ds and vw=dt for some chains s and t, then the triple product ()()() vanishes "for two different reasons" – it is the boundary of sw and ut (since d(sw)=ds\cdot w + s\cdot dw, and ()=0 because elements of homology are cycles). The bounding chains s and t have indeterminacy, which disappears when one moves to homology, and since sw and ut have the same boundary, subtracting them (the sign convention is to correctly handle the grading) gives a cocycle (the boundary of the difference vanishes), and one thus obtains a well-defined element of cohomology – this step is analogous to defining the ''n''+1st homotopy or homology group in terms of indeterminacy in null-homotopies/null-homologies of ''n''-dimensional maps/chains.
Geometrically, in singular cohomology of a manifold, one can interpret the product dually in terms of bounding manifolds and intersections, following Poincaré duality: dual to cocycles are cycles, often representable as closed manifolds (without boundary), dual to product is intersection, and dual to the subtraction of the bounding products is gluing the two bounding manifolds together along the boundary, obtaining a closed manifold which represents the homology class dual of the Massey product. In reality homology classes of manifolds cannot always be represented by manifolds – a representing cycle may have singularities – but with this caveat the dual picture is correct.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Massey product」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.